Category Symbolic Computation
Top Packages
Packages that have the most dependencies to them from other packages in this category.
- sbv 13
- smtlib2 5
- sbvPlugin 1
- smtlib2-pipe 1
- smtlib2-quickcheck 1
- symengine 1
- symengine-hs 1
- smtlib2-debug 0
- smtlib2-timing 0
Top Paired Categories
Categories that are often combined with this category.
- Math 3075
- Ffi 300
- Formal Methods 116
- Theorem Provers 77
- Bit Vectors 40
- Smt 34